Logical Foundations of Computer Security
نویسنده
چکیده
The first of my four lectures on the logical foundations of computer security will establish the mathematical setting in which we will work, namely computational type theory. In this setting we can pursue algorithmic ideas from their natural expression in computer science articles to their codification in executable systems and finally to their incorporation into formal arguments that a system achieves some stated purpose. For this lecture we draw on material produced in previous summer school lectures, in particular on the booklet Naive Computational Type Theory from Marktoberdorf 2001. Another modern source of this material is the recent monograph by M. Sorensen and P. Urzyczyn, see [7]. The Nuprl version of computational type theory is presented in the article by Allen, Bickford et. al, see [2].
منابع مشابه
Logic in Access Control (Tutorial Notes)
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and tools. This paper is a partial survey and discussion of the role of logic in access control. It considers logical foundations for access control and their applications, in particular in languages for security policies....
متن کاملLogic in Access Control
Access control is central to security in computer systems. Over the years, there have been many efforts to explain and to improve access control, sometimes with logical ideas and tools. This paper is a partial survey and discussion of the role of logic in access control. It considers logical foundations for access control and their applications, in particular in languages for programming securi...
متن کاملThe social foundations of airport security
Aviation security relies on the assumption that risks can be mitigated through rule compliance. To assure this, the operational design and logistical process has fashioned airports into mass production organizations where human behaviors e of both employees and passengers e are defined within a rational and logical framework. However, recent empirical evidence raises some critical issues as to ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2007